Stony Brook Prolog. A public domain Prolog interpreter for Unix. Version 3.1. Distributed under the GNU General Public License. ftp://sbcs.sunysb.edu/pub/sbprolog/. {Amiga version 2.3.2 (ftp://ftp.cso.uiuc.edu/amiga/fish/f1/ff140)} and ftp://ftp.cso.uiuc.edu/amiga/fish/f1/ff141. E-mail: <warren@sbcs.sunysb.edu>. (1995-01-16)

SB-228357 is a drug which acts as an antagonist for the 5HT2B and 5HT2C receptors. It has antidepressant and anxiolytic effects in animal models, and inhibits 5-HT2B mediated proliferation of cardiac fibroblasts.

The Akaflieg Braunschweig SB-8 is an experimental, single-seat, high performance glider built in Germany in the 1960s, constructed largely from glass fibre skin over built up balsa wood structure. Two were built; the second of which was later fitted with a high aspect ratio (30:1) wing, becoming the Akaflieg Braunschweig SB-9 Stratus.

PROgramming in LOGic

SB-242084 is a psychoactive drug and research chemical which acts as a selective antagonist for the 5HT2C receptor. It has anxiolytic effects, and enhances dopamine signalling in the limbic system, as well as having complex effects on the dopamine release produced by cocaine, increasing it in some brain regions but reducing it in others.

The Akaflieg Braunschweig SB-5 is a German single-seat Standard Class sailplane designed and prototyped by students of Brunswick University. More than 100 were built to their design, in several different variants.

The Akaflieg Braunschweig SB 14 is an Open-class sailplane designed and built in Germany in the early 2000s.

<programming> Programming in Logic or (French) Programmation en Logique. The first of the huge family of {logic programming} languages. Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was designed originally for natural-language processing but has become one of the most widely used languages for artificial intelligence. It is based on LUSH (or SLD) resolution {theorem proving} and unification. The first versions had no user-defined functions and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and Robert Kowalski at University of Edinburgh continued until about 1975. Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open Prolog, SB-Prolog, {UPMAIL Tricia Prolog}. In 1998, the most common Prologs in use are Quintus Prolog, SICSTUS Prolog, LPA Prolog, {SWI Prolog}, AMZI Prolog, SNI Prolog. ISO draft standard at {prolog/standard/">Darmstadt, Germany (ftp://ftp.th-darmstadt.de/pub/programming/languages/prolog/standard/)}. or UGA, USA (ftp://ai.uga.edu/ai.prolog.standard). See also negation by failure, Kamin's interpreters, Paradigms of AI Programming, Aditi. A Prolog interpreter in Scheme. ftp://cpsc.ucalgary.ca/pub/prolog1.1. {A Prolog package (ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z)} from the University of Calgary features delayed goals and interval arithmetic. It requires Scheme with continuations. ["Programming in Prolog", W.F. Clocksin & C.S. Mellish, Springer, 1985]. (2001-04-01)